Congruence lower semimodularity and 2-finiteness imply congruence modularity
نویسندگان
چکیده
We show that any congruence lower semimodular variety whose 2-generatecl free algebra is finite must be congruence modular.
منابع مشابه
NOTES ON CONGRUENCE n-PERMUTABILITY AND SEMIDISTRIBUTIVITY
In [1] T. Dent, K. Kearnes and Á. Szendrei define the derivative, Σ′, of a set of equations Σ and show, for idempotent Σ, that Σ implies congruence modularity if Σ′ is inconsistent (Σ′ |= x ≈ y). In this paper we investigate other types of derivatives that give similar results for congruence n-permutable for some n, and for congruence semidistributivity. In a recent paper [1] T. Dent, K. Kearne...
متن کاملCongruence semimodular varieties I: Locally finite varieties
The lattice of closed subsets of a set under such a closure operator is semimodular. Perhaps the best known example of a closure operator satisfying the exchange principle is the closure operator on a vector space W where for X ___ W we let C(X) equal the span of X. The lattice of C-closed subsets of W is isomorphic to Con(W) in a natural way; indeed, if Y _~ W x W and Cg(Y) denotes the congrue...
متن کاملstudents’ evaluation of Congruence within Teaching-Learning Environment of Undergraduate Courses at Shiraz University
The Purpose Of This Study Was To Students’ Evaluation Of Congruence Within Teaching-Learning Environment Of Undergraduate Courses At Shiraz University. The Study Population Consisted Of All Undergraduate Courses Students Of Different Educational Groups At Shiraz University. 294 Participants Were Selected Using "Multistage Cluster Sampling” Method. Research Instruments Consisted Of Researcher M...
متن کاملCongruence Lattices of Algebras— the Signed Labelling
For an arbitrary algebra A a new labelling, called the signed labelling, of the Hasse diagram of Con A is described. Under the signed labelling, each edge of the Hasse diagram of Con A receives a label from the set {+,−}. The signed labelling depends completely on a subset of the unary polynomials of A and its inspiration comes from semigroup theory. For finite algebras, the signed labelling co...
متن کاملAn Easy Test for Congruence Modularity
We describe an easy way to determine whether the realization of a set of idempotent identities guarantees congruence modularity or the satisfaction of a nontrivial congruence identity. Our results yield slight strengthenings of Day’s Theorem and Gumm’s Theorem, which each characterize congruence modularity.
متن کامل